6

Dealing with Satisfiability and n-ary CSPs in a Logical Framework

Year:
2012
Language:
english
File:
PDF, 471 KB
english, 2012
15

FROM XSAT TO SAT BY EXHIBITING BOOLEAN FUNCTIONS

Year:
2009
Language:
english
File:
PDF, 299 KB
english, 2009